A representation theorem for second-order functionals

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Representation Theorem for Second-Order Functionals

Representation theorems relate seemingly complex objects to concrete, more tractable ones. In this paper, we take advantage of the abstraction power of category theory and provide a datatypegeneric representation theorem. More precisely, we prove a representation theorem for a wide class of second-order functionals which are polymorphic over a class of functors. Types polymorphic over a class o...

متن کامل

A Pure First Order Representation for Undamped Second Order Descriptor Systems

The aim of this paper is to analyze the undamped second order descriptor systems to show the possibility of transform an undamped second order descriptor system to a pure first order descriptor system ,on different ways, while stating some of its benefits. Meanwhile we will introduce pure first order systems and undamped second order systems and indicate that under some assumptions every undamp...

متن کامل

Order-type existence theorem for second order nonlocal problems at resonance

‎This paper gives an abstract order-type existence theorem for second order nonlocal boundary value problems at resonance and obtain existence criteria for at least two positive solutions‎, ‎where $f$ is a continuous function‎. ‎Our results generalize or extend related results in the literature and give a positive answer to the question raised in the literature‎. ‎An example is given to illustr...

متن کامل

a pure first order representation for undamped second order descriptor systems

the aim of this paper is to analyze the undamped second order descriptor systems to show the possibility of transform an undamped second order descriptor system to a pure first order descriptor system ,on different ways, while stating some of its benefits. meanwhile we will introduce pure first order systems and undamped second order systems and indicate that under some assumptions every undamp...

متن کامل

A Second Order Minimality Condition for Water-Waves Functionals

The goal of this paper is to derive in the two-dimensional case necessary and sufficient minimality conditions in terms of the second variation for the functional v 7→ ∫ Ω ( |∇v| + χ{v>0}Q ) dx, introduced in a classical paper of Alt and Caffarelli. For a special choice of Q this includes water waves. The second variation is obtained by computing the second derivative of the functional along su...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Functional Programming

سال: 2015

ISSN: 0956-7968,1469-7653

DOI: 10.1017/s0956796815000088